weak logic

См. также в других словарях:

• weak — [wēk] adj. [ME waik < ON veikr, akin to OE wac, feeble (which the ON word replaced) < IE * weig , * weik (< base * wei , to bend) > WEEK, WICKER, L vicis, change] 1. a) lacking in strength of body or muscle; not physically strong b)… …   English World dictionary

• Weak interpretability — is a special case of the concept of tolerance introduced by Giorgi Japaridze in 1992. Assume T and S are formal theories. Slightly simplified, T is said to be weakly interpretable in S if, and only if, the language of T can be translated into the …   Wikipedia

• Weak ontology — The term weak ontology has unrelated meanings in computer science and political theory. Computer science A weak ontology in computer science is one that is not sufficiently rigorous to allow software to infer new facts without an intervention by… …   Wikipedia

• logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… …   Universalium

• logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

• Monoidal t-norm logic — Monoidal t norm based logic (or shortly MTL), the logic of left continuous t norms, is one of t norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;[1] it extends the logic of commutative… …   Wikipedia

• Łukasiewicz logic — In mathematics, Łukasiewicz logic is a non classical, many valued logic. It was originally defined by Jan Łukasiewicz as a three valued logic;Łukasiewicz J., 1920, O logice trójwartościowej (in Polish). Ruch filozoficzny 5:170–171. English… …   Wikipedia

• BL (logic) — Basic fuzzy Logic (or shortly BL), the logic of continuous t norms, is one of t norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;Ono (2003).] it extends the logic of all left continuous… …   Wikipedia

• applied logic — Introduction       the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …   Universalium

• Dying to Win: The Strategic Logic of Suicide Terrorism — (2005; ISBN 1 4000 6317 5) is Robert Pape s analysis of suicide terrorism from a strategic, social, and psychological point of view. It is based on a database he has compiled at the University of Chicago, where he directs the Chicago Project on… …   Wikipedia

• Zeroth-order logic — is a term for a quantifier free fragment of first order logic.A finitely axiomatizable zeroth order logic is isomorphic to a propositional logic. Zeroth order logic can transcend the power of propositional logic if axiom schemata are allowed. An… …   Wikipedia